Optimal engine performance using inference for non-identical finite source and sink
نویسندگان
چکیده
منابع مشابه
Automated Inference of Library Specifications for Source-Sink Property Verification
Many safety properties in program analysis, such as many memory safety and information flow problems, can be formulated as source-sink problems. While there are many existing techniques for checking source-sink properties, the soundness of these techniques relies on all relevant source code being available for analysis. Unfortunately, many programs make use of libraries whose source code is eit...
متن کاملSINK SINK SOURCE SINK SINK Channel Process C Process
The Internet and the Grid are changing the face of high performance computing. Rather than tightly-coupled SPMD-style components running in a single cluster, on a parallel machine, or even on the Internet programmed in MPI, applications are evolving into sets of cooperating components scattered across diverse computational elements. These components may run on diierent operating systems and har...
متن کاملApplication of “Sink & Source” and “Stream wise” Methods for Exergy Analysis of Two MED Desalination Systems
Utilization of fossil fuel for supplying of requires energy of desalination systems is common. On the other hand, solar energy is one of the high-grade energies in the world that can be found specifically in hot weather places. Therefore, utilization of solar energy for operation of desalination systems will reduce greenhouse gases and is a good alternative way. Common exergy analysis method (s...
متن کاملDependency Detection Using a Fuzzy Inference Engine
The discovery of dependencies between components of a network can reveal relationships among components of multi-tier applications and the underlying IT infrastructure, such as servers and databases. Knowledge of these dependencies is thus important for the management of large distributed, heterogeneous and virtualized systems, where it is difficult to maintain an accurate view of how network a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Modern Physics Letters B
سال: 2015
ISSN: 0217-9849,1793-6640
DOI: 10.1142/s0217984915502176